Conflict Detection and Logical Complexity
نویسندگان
چکیده
منابع مشابه
Logical operations and Kolmogorov complexity
Conditional Kolmogorov complexity can be understood as the complexity of the problem “ ”, where is the problem “construct ” and is the problem “construct ”. Other logical operations ( ) can be interpreted in a similar way, extending Kolmogorov interpretation of intuitionistic logic and Kleene realizability. This leads to interesting problems in algorithmic information theory. Some of these ques...
متن کاملLogical Depth and Physical Complexity
Some mathematical and natural objects (a random sequence, a sequence of zeros, a perfect crystal, a gas) are intuitively trivial, while others (e.g. the human body, the digits of π) contain internal evidence of a nontrivial causal history. We formalize this distinction by defining an object’s “logical depth” as the time required by a standard universal Turing machine to generate it from an inpu...
متن کاملConcurrency, Fairness and Logical Complexity
We consider a connection between fairness and 0 3 sets of functions made recently by Darondeau, Nolte, Priese and Yoccoz, and extend their work to cater for eeective asynchronous transition systems with concurrency structure represented by a Mazurkiewicz independency relation.
متن کاملFuzzy Complexity Analysis with Conflict Resolution for Educational Projects
Evaluative and comparative analysis among educational projects remains an issue for administration, program directors, instructors, and educational institutes. This study reports a fuzzy complexity model for educational projects, which has two primary aspects (technical aspects and transparency aspects). These aspects may not be measured precisely due to uncertain situations. Therefore, a fuzzy...
متن کاملThe Logical Complexity of Control
The COCOLOG system is a partially ordered family of rst order logical theories that describe the controlled evolution of the state of a given partially observered-nite machine M. Following the review of the general COCOLOG system and its Markovain fragment system , a mutil-complexity measurement called Joint is deened and further a partial order simplicity is introduced. Finally, some compariso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychologica Belgica
سال: 2018
ISSN: 2054-670X,0033-2879
DOI: 10.5334/pb.448